Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Equational completion in order-sorted algebras

Année:
1990
Langue:
english
Fichier:
PDF, 3.97 MB
english, 1990
2

Proving weak properties of rewriting

Année:
2011
Langue:
english
Fichier:
PDF, 552 KB
english, 2011
3

Induction for termination with local strategies

Année:
2001
Langue:
english
Fichier:
PDF, 514 KB
english, 2001
4

Termination and normalisation under strategy Proofs in ELAN

Année:
2000
Langue:
english
Fichier:
PDF, 263 KB
english, 2000
5

Outermost Ground Termination

Année:
2004
Langue:
english
Fichier:
PDF, 302 KB
english, 2004
8

Termination of rewriting under strategies

Année:
2009
Langue:
english
Fichier:
PDF, 712 KB
english, 2009